coalg(set(a)(s)) == Store(set(a))(s)